Merge branch 'wip/ditch-workarea' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 29 Jul 2020 16:24:32 +0000 (16:24 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 29 Jul 2020 16:24:32 +0000 (16:24 +0000)
gdk/monitor: Remove gdk_monitor_work_area and GdkMonitor::work-area

See merge request GNOME/gtk!2316


Trivial merge